1301. Theory of Besov spaces /
پدیدآورنده: Yoshihiro Sawano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Besov spaces.,Besov spaces.
رده :
QA323
1302. Theory of Graded Consequence :
پدیدآورنده: Mihir Kumar Chakraborty, Soma Dutta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)
رده :
QA9
.
C45
2019
1303. Theory of Markets :
پدیدآورنده: by Bertrand M. Roehner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Economics.,Regional economics.
رده :
HB221
.
B934
1995
1304. Theory of Markets :
پدیدآورنده: by Bertrand M. Roehner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Economics.,Regional economics.
1305. Theory of computational complexity /
پدیدآورنده: Ding-Zhu Du, Department of Computer Science, University of Texas at Dallas, Ann Arbor, MI, Ker-I Ko, Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.
رده :
QA267
.
7
.
D8
2014eb
1306. Theory of proofs
پدیدآورنده: Open University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
O6
1307. There's something about Gödel :
پدیدآورنده: Francesco Berto
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
1308. Thomas Reid and 'The Way of Ideas'
پدیدآورنده: by Roger D. Gallie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Genetic epistemology.,Philosophy (General),Reid, Thomas, -- 1710-1796.
رده :
B1537
.
B976
1989
1309. Time series with mixed spectra
پدیدآورنده: Ta-Hsin Li.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATHEMATICS -- Applied.,Spectrum analysis.,Time-series analysis.
رده :
QA280
.
T347
2014
1310. Time travel and warp drives :
پدیدآورنده: Allen Everett and Thomas Roman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Space and time,Time travel
رده :
QC173
.
59
.
S65
E94
2012
1311. Tome 1 Philosophie du langage, Logique philosophique / Volume 1 Philosophy of language, Philosophical logic
پدیدآورنده: edited by Guttorm Fløistad, G.H. Wright.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Philosophy (General)
1312. Topics in non-commutative probability theory with applications to statistical mechanics
پدیدآورنده: Katavolos, Aristides
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics
1313. Topology and analysis :
پدیدآورنده: B. Booss; D.D. Bleecker. Transl. by D.D. Bleecker and A. Mader.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Analysis.,Gauge-Theorie.,Topologie.
رده :
QA329
.
B366
1989
1314. Torsions of 3-dimensional Manifolds
پدیدآورنده: by Vladimir Turaev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cell aggregation-- Mathematics.,Global analysis.,Mathematics.,Topology.
1315. Towards an arithmetical logic :
پدیدآورنده: by Yvon Gauthier
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
1316. Tracking Reason
پدیدآورنده: \ Jody Azzouni.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory.,Logic, Symbolic and mathematical.,منطق ریاضی
رده :
QA9
.
54
.
A99T7
2006
1317. Tracking reason
پدیدآورنده: / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
1318. Tracking reason
پدیدآورنده: / Jody Azzouni
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
A99
2006
1319. Tracking reason
پدیدآورنده: / Jody Azzouni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
54
,.
A99
,
2006
1320. Tracking reason :
پدیدآورنده: / Jody Azzouni
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
